Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
81	Advanced Macrology and the Implementation of Typed Scheme Ryan Culpepper Sam Tobin-Hochstadt Matthew Flatt Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:26 Functional languages Transformation languages Procedural programming languages Cross-platform software Data types Hygienic macro Racket Scheme Type system Computing Software engineering Computer programming
82	Computational Effects across Generated Binders Part 1: Problems and solutions Yukiyoshi Kameyama Oleg Kiselyov University of Tsukuba Add to Reading List Source URL: okmij.org Language: English - Date: 2011-12-02 22:36:27 Data types Procedural programming languages Type theory Program analysis Type system Generator C Anonymous function List comprehension Computing Software engineering Computer programming
83	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming
84	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
85	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
86	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
87	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
88	On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 08:03:06 Data types Functional programming Type theory Algebraic data type Binary trees Procedural programming languages Pattern matching Guard Cons Software engineering Computing Computer programming
89	Third Edit ion THE ICON PROGRAMMING LANGUAGE Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2005-07-13 11:53:36 Data types Procedural programming languages Icon Public domain software C programming language Type theory Comparison of Pascal and C String C Computing Software engineering Computer programming
90	Instructions for asmlib A multi-platform library of highly optimized functions for C and C++. By Agner Fog. Technical University of Denmark Version © GNU General Public License Add to Reading List Source URL: agner.org Language: English - Date: 2014-07-30 11:58:59 C++ String Data types Cross-platform software Primitive types Comparison of programming languages C string handling C Write Computing Computer programming Software engineering

UPDATE